Spécification structurelle, fonctionnelle et déontique d'organisations dans les SMA
نویسندگان
چکیده
RÉSUMÉ. Dans les approches centrées organisation des Systèmes Multi-Agents, les organisations s’intéressent généralement soit au fonctionnement, soit à la structure des agents dans le système. La combinaison de ces deux dimensions peut cependant s’avérer bénéfique pour spécifier les organisations. Le modèleMOISE– décrit dans ce papier au travers de l’exemple des robots footballeurs – vise à proposer un pas dans cette direction au travers d’une organisation considérée au travers de trois points de vue: structurel, fonctionnel et déontique.
منابع مشابه
Modèle de sécurité pour le secteur de la santé
RESUME : Cet article propose un modèle de sécurité suffisamment général pour couvrir toute la diversité des systèmes d’information et de communication de la santé (SICS). L’un des objectifs de ce modèle est de favoriser l’interopérabilité de ces systèmes tout en étant suffisamment souple pour prendre en compte toute amélioration ou changement dans la politique de sécurité. Ce modèle réalise un ...
متن کاملConception et usage des composants métier processus pour les systèmes d'information. (Design and usage of process business components for information systems)
ion : Réutilisation : Légende : SI1 SI2 SIn te l-0 04 30 49 7, v er si on 2 4 Ja n 20 10 Chapitre 3 : Concepts de base et vue métier d’un composant métier processus 82 c) Origines de la variabilité Nous distinguons deux aspects qui peuvent être à l’origine de la variabilité représentée dans des CMP. 1. Variabilité des PM : un CMP modélise des PM similaires qui peuvent être déclinés de plusieurs...
متن کاملSpécification et vérification formelles des systèmes de composants répartis. (Formal specification and verification of distributed component systems)
ion→ abstraction id of id ’{’ abstraction de types TypeDecl∗ déclarations de type Field∗ variables locales Constructor∗ constructeurs abstraits Operator∗ opérateurs abstraits ’}’ Constructor→ Type ’(’ args ’)’ sign. du constructeur concret [ abstracted as Type ’(’ args ’)’ ’{’ Body ’}’ ] version abstraite Operator→ Type id ’(’ args ’)’ sign. du operateur concret [ abstracted as Type id ’(’ args...
متن کاملExtraction de relations dans les documents Web
Résumé. Nous présentons un système pour l’inférence de programmes d’extraction de relations dans les documents Web. Il utilise les vues textuelle et structurelle sur les documents. L’extraction des relations est incrémentale et utilise des méthodes de composition et d’enrichissement. Nous montrons que notre système est capable d’extraire des relations pour les organisations existantes dans les ...
متن کاملJ2EE Deployment: The JOnAS Case Study
RÉSUMÉ. La spécification J2EE (Java 2 platform Enterprise Edition) définit une architecture de serveur d'application Java. Jusqu'à J2EE 1.3, seuls les aspects de déploiement concernant le développeur d'applications étaient adressés. Avec J2EE 1.4, les interfaces et les étapes de déploiement ont été plus précisément spécifiées dans la spécification "J2EE Deployment". JOnAS (Java Open Application...
متن کامل